home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / src / master / nodups.awk < prev    next >
Text File  |  1993-04-04  |  218b  |  14 lines
  1. ##161:
  2.  
  3. #line 2529 "/u/norman/pu/web/dist/src/master/spider.web"
  4.  
  5. #line 2530 "/u/norman/pu/web/dist/src/master/spider.web"
  6. {if($0==last){
  7. print"Error: duplicate name",$0,"on lines",NR-1"-"NR
  8. exit-1
  9. }
  10. last=$0
  11. }
  12. ##:161
  13.  
  14.